Sync from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 17 Jan 2011 02:35:15 +0000 (18:35 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 17 Jan 2011 02:35:15 +0000 (18:35 -0800)
commit3ee791f8360773d3df697e738701600a230f5998
treedeb40b5ca125a23e504e8b90da5066f72d14a40b
parent4338c9d4903068a2df4a9222dffdf2f5718cdc01
Sync from gnulib.
doc/misc/texinfo.tex